Resource-Safe Systems Programming with Embedded Domain Specific Languages
نویسندگان
چکیده
We introduce a new overloading notation that facilitates programming, modularity and reuse in Embedded Domain Specific Languages (EDSLs), and use it to reason about safe resource usage and state management. We separate the structural language constructs from our primitive operations, and show how precisely-typed functions can be lifted into the EDSL. In this way, we implement a generic framework for constructing state-aware EDSLs for systems programming.
منابع مشابه
Generic constraints for type-safe embedded programming
Domain-specific languages (DSLs) are everywhere, with applications in areas such as parser generation, music synthesis, parallel programming and even the design of domain-specific languages. However, while the pay-off in using a DSL may be substantial, the cost of introducing a language may be made prohibitively high by the need to construct a supporting toolchain. A common tactic is to embed a...
متن کاملGenerative Programming for Embedded Systems Final Report
The aim of this project was to develop new generative programming technology for resource-sensitive systems, notably real-time embedded systems. Generative programming involves automatic generation of target code from some higher-level source under programmer control. It is especially suitable for implementing domain-specific languages, as deployed for the construction of embedded systems, for ...
متن کاملTransformeR: A DSL for Safe Variable Transformation
TransformeR is a domain-specific language embedded in the R programming language for writing safe variable transformations within the PSI private data sharing interface. In this document, we present the integration of TransformeR within the PSI prototype and the language’s grammar, statistical operations and type system. We also attach a list of desiderata together with guidelines for future co...
متن کاملSpecifying Adaptations through a DSL with an Application to Mobile Robot Navigation
Developing applications for resource-constrained embedded systems is a challenging task specially when applications must adapt to changes in their operating conditions or environment. To ensure an appropriate response at all times, it is highly desirable to develop applications that can dynamically adapt their behavior at run-time. In this paper we introduce an architecture that allows the spec...
متن کاملDesign Languages for Embedded Systems
Embedded systems are application-specific computers that interact with the physical world. Each has a diverse set of tasks to perform, and although a very flexible language might be able to handle all of them, instead a variety of problem-domain-specific languages have evolved that are easier to write, analyze, and compile. This paper surveys some of the more important languages, introducing th...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2012